Topological transversals to a family of convex sets

Let $\mathcal F$ be a family of compact convex sets in $\mathbb R^d$. We say that $\mathcal F$ has a \emph{topological $\rho$-transversal of index $(m,k)$} ($\rho<m$, $0<k\leq d-m$) if there are, homologically, as many transversal $m$-planes to $\mathcal F$ as $m$-planes containing a fixed $\rho$-plane in $\mathbb R^{m+k}$. Clearly, if $\mathcal F$ has a $\rho$-transversal plane, then $\mathcal F$ has a topological $\rho$-transversal of index $(m,k),$ for $\rho<m$ and $k\leq d-m$. The converse is not true in general. We prove that for a family $\mathcal F$ of $\rho+k+1$ compact convex sets in $\mathbb R^d$ a topological $\rho$-transversal of index $(m,k)$ implies an ordinary $\rho$-transversal. We use this result, together with the multiplication formulas for Schubert cocycles, the Lusternik-Schnirelmann category of the Grassmannian, and different versions of the colorful Helly theorem by B\'ar\'any and Lov\'asz, to obtain some geometric consequences

Bifurcation of critical points for continuous families of C^2 functionals of Fredholm type

Given a continuous family of C^2 functionals of Fredholm type, we show that the non-vanishing of the spectral flow for the family of Hessians along a known (trivial) branch of critical points not only entails bifurcation of nontrivial critical points but also allows to estimate the number of bifurcation points along the branch. We use this result for several parameter bifurcation, estimating the number of connected components of the complement of the set of bifurcation points and apply our results to bifurcation of periodic orbits of Hamiltonian systems. By means of a comparison principle for the spectral flow, we obtain lower bounds for the number of bifurcation points of periodic orbits on a given interval in terms of the coefficients of the linearization

Hirzebruch-Milnor classes and Steenbrink spectra of certain projective hypersurfaces

We show that the Hirzebruch-Milnor class of a projective hypersurface, which gives the difference between the Hirzebruch class and the virtual one, can be calculated by using the Steenbrink spectra of local defining functions of the hypersurface if certain good conditions are satisfied, e.g. in the case of projective hyperplane arrangements, where we can give a more explicit formula. This is a natural continuation of our previous paper on the Hirzebruch-Milnor classes of complete intersections.Comment: 15 pages, Introduction is modifie

General Spectral Flow Formula for Fixed Maximal Domain

We consider a continuous curve of linear elliptic formally self-adjoint differential operators of first order with smooth coefficients over a compact Riemannian manifold with boundary together with a continuous curve of global elliptic boundary value problems. We express the spectral flow of the resulting continuous family of (unbounded) self-adjoint Fredholm operators in terms of the Maslov index of two related curves of Lagrangian spaces. One curve is given by the varying domains, the other by the Cauchy data spaces. We provide rigorous definitions of the underlying concepts of spectral theory and symplectic analysis and give a full (and surprisingly short) proof of our General Spectral Flow Formula for the case of fixed maximal domain. As a side result, we establish local stability of weak inner unique continuation property (UCP) and explain its role for parameter dependent spectral theory.Comment: 22 page

Perturbation of sectorial projections of elliptic pseudo-differential operators

Over a closed manifold, we consider the sectorial projection of an elliptic pseudo-differential operator A of positive order with two rays of minimal growth. We show that it depends continuously on A when the space of pseudo-differential operators is equipped with a certain topology which we explicitly describe. Our main application deals with a continuous curve of arbitrary first order linear elliptic differential operators over a compact manifold with boundary. Under the additional assumption of the weak inner unique continuation property, we derive the continuity of a related curve of Calderon projections and hence of the Cauchy data spaces of the original operator curve. In the Appendix, we describe a topological obstruction against a verbatim use of R. Seeley's original argument for the complex powers, which was seemingly overlooked in previous studies of the sectorial projection.Comment: 30 pages, 2 figures; v3: major revision, shortened, several references added, some material moved into an appendix; v4: final version, accepted for publication in Journal of Pseudo-Differential Operators and Application